Proof complexity - PDFSEARCH.IO - Document Search Engine

Proof complexity
Results: 225

#	Item
21	LNCSA Universally Composable Mix-Net Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:39:36 Cryptography Public-key cryptography Computational complexity theory Proof of knowledge Zero-knowledge proof IP Raspberry Pi
22	An Eﬃcient Parallel Repetition Theorem Johan H˚ astad1 , Rafael Pass2, Douglas Wikstr¨ om3 , and Krzysztof Pietrzak4 1 KTH, Stockholm, supported by ERC grant Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:53:38 Computational complexity theory Cryptography Theory of computation Probabilistic complexity theory IP Zero-knowledge proof Soundness PP Entropy NP Randomized algorithm Interactive proof system
23	SelectNet_Manual_v2_April_2012.pdf Add to Reading List Source URL: www.pinnacol.com Language: English - Date: 2012-11-30 16:14:36 Neurochemistry Nervous system Probabilistic complexity theory General anesthetics Piperidines Biochemistry Probabilistically checkable proof Phencyclidine
24	Proofs of Restricted Shuﬄes Bj¨ orn Terelius and Douglas Wikstr¨om CSC KTH Stockholm, Sweden {terelius,dog}@csc.kth.se Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:55:25 Mathematics Cryptography Algebra Permutations Polynomials Computational complexity theory Proof of knowledge IP Permutation matrix SchwartzZippel lemma NP Permutation
25	LNCSParallel Repetition of Computationally Sound Protocols Revisited Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:49:12 Computational complexity theory Theory of computation Cryptography Complexity classes Quantum complexity theory IP Proof of knowledge NP PP XTR PSPACE Communications protocol
26	Falso: a simple, self-consistent logic Antoine Amarilli Club Inutile & Estatis, Inc. Scholarly Outreach Division 1 Accounting Dr., Mariana Trench, Intl. Waters Add to Reading List Source URL: www.ben-sherman.net Language: English - Date: 2016-08-02 11:41:55 Logic Mathematical logic Mathematics Automated theorem proving Model theory Proof theory Complexity classes Logical connectives NP IP Negation Coq
27	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-02-25 05:09:48 Cryptography Computational complexity theory Theory of computation Complexity classes Probabilistic complexity theory Public-key cryptography NP IP Proof of knowledge Zero-knowledge proof Random oracle FiatShamir heuristic
28	Parameterized Proof Complexity∗ Stefan Dantchev, Barnaby Martin, and Stefan Szeider Department of Computer Science Durham University, Durham, England, UK [s.s.dantchev,b.d.martin,stefan.szeider]@durham.ac.uk Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:36 Computational complexity theory Theory of computation Theoretical computer science NP-complete problems Complexity classes Logic in computer science Finite model theory Parameterized complexity Resolution Exponential time hypothesis Boolean satisfiability problem Conjunctive normal form
29	Issues in Multimedia Authoring Lecture 10: Limitations of Computers Keith Douglas Summary Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2007-04-18 22:48:16 Mathematics Theoretical computer science Theory of computation Structural complexity theory Computability theory Halting problem Mathematical proof Undecidable problem Negation Reductio ad absurdum Reduction Square root of 2
30	Sound Proof of Proximity of Knowledge Serge Vaudenay ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE Add to Reading List Source URL: security-lab.jaist.ac.jp Language: English - Date: 2015-11-22 02:25:24 Cryptography IP Distance-bounding protocol Challengeresponse authentication Computational complexity theory Interactive proof system